$def with (menu)
<!doctype html public "-//w3c//dtd html 4.0 transitional//en">
<html>
<head>
	<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
	<title>run1s server</title>
</head>
<body>
$:menu
</body>
</html>
